大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 Karli Watson Marco Bellinaso 著 的图书(共371本)

The Correctness-by-Construction Approach to Programming [electronic resource]

0
索取号：
作者：Kourie、 Derrick G.、Watson、 Bruce W.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

Reinforcement Learning [electronic resource] : State-of-the-Art

0
索取号：
作者：Wiering、 Marco.、Otterlo、 Martijn.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

Strings and Fundamental Physics [electronic resource]

0
索取号：
作者：Baumgartl、 Marco.、Brunner、 Ilka.、Haack、 Michael.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.

Pattern Recognition in Bioinformatics [electronic resource] : 6th IAPR International Conference, PRIB 2011, Delft, The Netherlands, November 2-4, 2011. Proceedings

0
索取号：
作者：Loog、 Marco.、Wessels、 Lodewyk.、Reinders、 Marcel J. T.、Ridder、 Dick.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Implementation and Application of Functional Languages [electronic resource] : 22nd International Symposium, IFL 2010, Alphen aan den Rijn, The Netherlands, September 1-3, 2010, Revised Selected Papers

0
索取号：
作者：Hage、 Jurriaan.、Moraz谩n、 Marco T.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Human-Computer Interaction-INTERACT 2011 [electronic resource] : 13th IFIP TC 13 International Conference, Lisbon, Portugal, September 5-9, 2011, Proceedings, Part I

0
索取号：
作者：Campos、 Pedro.、Graham、 Nicholas.、Jorge、 Joaquim.、Nunes、 Nuno.、Palanque、 Philippe.、Winckler、 Marco.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Human-Computer Interaction-INTERACT 2011 [electronic resource] : 13th IFIP TC 13 International Conference, Lisbon, Portugal, September 5-9, 2011, Proceedings, Part II

0
索取号：
作者：Campos、 Pedro.、Graham、 Nicholas.、Jorge、 Joaquim.、Nunes、 Nuno.、Palanque、 Philippe.、Winckler、 Marco.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Human-Computer Interaction-INTERACT 2011 [electronic resource] : 13th IFIP TC 13 International Conference, Lisbon, Portugal, September 5-9, 2011, Proceedings, Part IV

0
索取号：
作者：Campos、 Pedro.、Graham、 Nicholas.、Jorge、 Joaquim.、Nunes、 Nuno.、Palanque、 Philippe.、Winckler、 Marco.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Human-Computer Interaction-INTERACT 2011 [electronic resource] : 13th IFIP TC 13 International Conference, Lisbon, Portugal, September 5-9, 2011, Proceedings, Part III

0
索取号：
作者：Campos、 Pedro.、Graham、 Nicholas.、Jorge、 Joaquim.、Nunes、 Nuno.、Palanque、 Philippe.、Winckler、 Marco.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Euro-Par 2010 Parallel Processing Workshops [electronic resource] : HeteroPar, HPCC, HiBB, CoreGrid, UCHPC, HPCF, PROPER, CCPI, VHPC, Ischia, Italy, August 31鈥揝eptember 3, 2010, Revised Selected Papers

0
索取号：
作者：Guarracino、 Mario R.、Vivien、 Fr茅d茅ric.、Tr盲ff、 Jesper Larsson.、Cannatoro、 Mario.、Danelutto、 Marco.、Hast、 Anders.、Perla、 Francesca.、Kn眉pfer、 Andreas.、Martino、 Beniamino.、Alexander、 Michael.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Formal Methods for Eternal Networked Software Systems [electronic resource] : 11th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2011, Bertinoro, Italy, June 13-18, 2011. Advanced Lectures

0
索取号：
作者：Bernardo、 Marco.、Issarny、 Val茅rie.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Computational Mechanisms of Au and Pt Catalyzed Reactions [electronic resource]

0
索取号：
作者：Soriano、 Elena.、Marco-Contelles、 Jos茅.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Search Computing [electronic resource] : Trends and Developments

0
索取号：
作者：Ceri、 Stefano.、Brambilla、 Marco.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Luminescence Applied in Sensor Science [electronic resource]

0
索取号：
作者：Prodi、 Luca.、Montalti、 Marco.、Zaccheroni、 Nelsi.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2011.

Phosphodiesterases as Drug Targets [electronic resource]

0
索取号：
作者：Francis、 Sharron H.、Conti、 Marco.、Houslay、 Miles D.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Sensor Networks with IEEE 802.15.4 Systems [electronic resource] : Distributed Processing, MAC, and Connectivity

0
索取号：
作者：Buratti、 Chiara.、Martal貌、 Marco.、Ferrari、 Gianluigi.、Verdone、 Roberto.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.
最近添加的分类
对外联络处体育学院经济学院南校区管理委员会数字校园南校区管委会暨南大学校报下载中心规章制度信息公示创新论坛教务动态创新人才课程中心核心团队通知电气信息学院四海书院国际商学院人文学院